/*
 * DocumentEnd.java
 *
 * Created on August 22, 2002, 4:37 PM
 */

package org.infoset.xml;

/**
 * This interface represents the end of a document.  It is only constructed and
 * delivered while processing a sequence of infoset events.
 * @author  R. Alexander Milowski
 */
public interface DocumentEnd extends Item,Location {
   
}
